منابع مشابه
Modal Constructions in Sociological Arguments∗
This paper introduces modal logics to a sociological audience. We first provide an overview of the formal properties of this family of models and outline key differences with classical first-order logic. We then build a model to represent processes of perception and belief core to social theories. To do this, we define our multi-modal language and then add substantive constraints that specify t...
متن کاملdynamic analysis of sandwich constructions using a modal method
in this paper dynamic analysis (modal-method) of sandwich contructions have been studied. for this purpose a computer program was developed that could analyse the sandwich construction's dynamics. by using the program, one can find the natural frequencies, the normal modes and dynamic response of the free and forced vibrations.by solving few problems in this article, we have illustrated th...
متن کاملOn Context Dependence in Modal Constructions
This paper investigates a new representation format for dynamic discourse in DRT, where contextual dynamics is modeled in terms of update conditions. This new representation format is motivated by the study of context dependence in modal constructions, in particular by serious problems besetting earlier approaches to modality and modal subordination in DRT. We present an alternative DRT analysi...
متن کاملBalanced Randomized Tree Splitting with Applications to Evolutionary Tree Constructions
We present a new technique called balanced randomized tree splitting. It is useful in constructing unknown trees recursively. By applying it we obtain two new results on efficient construction of evolutionary trees: a new upper time-bound on the problem of constructing an evolutionary tree from experiments, and a relatively fast approximation algorithm for the maximum agreement subtree problem ...
متن کاملNear-optimal critical sink routing tree constructions
We present critical-sink routing tree (CSRT) constructions which exploit available critical-path information to yield high-performance routing trees. Our CS-Steiner and "global slack removal" algorithms together modify traditional Steiner tree constructions to optimize signal delay at identified critical sinks. We further propose an iterative Elmore routing tree (ERT) construction which optimiz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1977
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888117